Uncertainty as a Modality over t-norm Based Logics

نویسنده

  • Enrico Marchioni
چکیده

In this work we propose a general approach for representing uncertainty measures in the framework of t-norm based logics. This approach is extended also to classes of measures like probability, possibility, necessity, lower and upper probability. We show that, under certain conditions, the logical consistency of a theory of uncertainty is tantamount to the coherence of a related assessment of rational values. Finally, we characterize the basic requirements that guarantee the compactness of coherent assessments.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Possibilistic Residuated Implication Logics with Applications

In this paper, we will develop a class of logics for reasoning about qualitative and quantitative uncertainty. The semantics of the logics is uniformly based on possibility theory. Each logic in the class is parameterized by a t-norm operation on [0,1], and we express the degree of implication between the possibilities of two formulas explicitly by using residuated implication with respect to t...

متن کامل

Possibilistic Residuated Implication Logics and Applications

In this paper, we will develop a class of logics for reasoning about qualitative and quantitative uncertainty. The semantics of the logics is uniformly based on possibility theory. Each logic in the class is parameterized by a t-norm operation on 0,1], and we express the degree of implication between the possibilities of two formulas explicitly by using residuated implication with respect to th...

متن کامل

ROBUST $H_{infty}$ CONTROL FOR T–S TIME-VARYING DELAY SYSTEMS WITH NORM BOUNDED UNCERTAINTY BASED ON LMI APPROACH

In this paper we consider the problem of delay-dependent robustH1 control for uncertain fuzzy systems with time-varying delay. The Takagi–Sugeno (T–S) fuzzy model is used to describe such systems. Time-delay isassumed to have lower and upper bounds. Based on the Lyapunov-Krasovskiifunctional method, a sufficient condition for the existence of a robust $H_{infty}$controller is obtained. The fuzz...

متن کامل

Combining Supervaluation and Degree Based Reasoning Under Vagueness

Two popular approaches to formalize adequate reasoning with vague propositions are usually deemed incompatible: On the one hand, there is supervaluation with respect to precisification spaces, which consist in collections of classical interpretations that represent admissible ways of making vague atomic statements precise. On the other hand, t-norm based fuzzy logics model truth functional reas...

متن کامل

T-norm based fuzzy logics preserving degrees of truth

T-norm based fuzzy logics are usually considered as truth preserving, that is, taking 1 as the only truth value to be preserved in inferences. In this paper we study t-norm based fuzzy logics preserving degrees of truth, that is, preserving the lower bounds of the truth degrees of the premises. These logics are axiomatizable by using a restricted form of Modus Ponens together with the rule of A...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007